[prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 190

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 174 228 224 534 0 0 -1

N.S.

1 1.00 0.85 1.12 1.10 2.62 0.00 0.00 -0.00

time (sec)

N/A 0.085 0.170 0.248 0.470 0.545 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 158 197 152 483 0 0 -1

N.S.

1 1.00 0.89 1.11 0.86 2.73 0.00 0.00 -0.01

time (sec)

N/A 0.092 0.153 0.248 0.471 0.428 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 149 205 134 440 0 0 -1

N.S.

1 1.00 0.85 1.16 0.76 2.50 0.00 0.00 -0.01

time (sec)

N/A 0.094 0.168 0.244 0.262 0.581 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 134 193 175 278 0 0 -1

N.S.

1 1.00 0.63 0.91 0.82 1.31 0.00 0.00 -0.00

time (sec)

N/A 0.115 0.155 0.250 0.271 0.447 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 160 225 232 347 0 0 -1

N.S.

1 1.00 0.57 0.80 0.83 1.23 0.00 0.00 -0.00

time (sec)

N/A 0.146 0.201 0.298 0.259 0.448 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

278 278 168 395 245 415 332 0 -1

N.S.

1 1.00 0.60 1.42 0.88 1.49 1.19 0.00 -0.00

time (sec)

N/A 0.168 0.163 0.397 0.274 0.535 2.027 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 139 295 185 349 252 0 -1

N.S.

1 1.00 0.60 1.28 0.80 1.52 1.10 0.00 -0.00

time (sec)

N/A 0.171 0.154 0.385 0.258 0.492 0.947 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

370 370 176 286 0 0 0 0 -1

N.S.

1 1.00 0.48 0.77 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.743 0.264 1.033 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

373 373 227 279 0 0 0 0 -1

N.S.

1 1.00 0.61 0.75 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.700 0.511 0.955 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

519 519 921 428 0 0 0 0 -1

N.S.

1 1.00 1.77 0.82 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.965 1.059 40.175 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

459 459 860 535 0 0 0 0 -1

N.S.

1 1.00 1.87 1.17 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.895 0.278 0.698 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

469 469 849 311 0 0 0 0 -1

N.S.

1 1.00 1.81 0.66 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.684 0.316 14.984 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

417 417 386 3157 0 0 0 0 -1

N.S.

1 1.00 0.93 7.57 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.680 0.618 0.862 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

523 523 933 380 0 0 0 0 -1

N.S.

1 1.00 1.78 0.73 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.890 1.281 38.872 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

631 631 1278 908 0 0 0 0 -1

N.S.

1 1.00 2.03 1.44 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.068 3.257 4.485 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

580 580 1208 686 0 0 0 0 -1

N.S.

1 1.00 2.08 1.18 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.989 0.835 0.878 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 345 854 0 1044 0 0 -1

N.S.

1 1.00 2.35 5.81 0.00 7.10 0.00 0.00 -0.01

time (sec)

N/A 0.158 0.736 3.702 0.000 0.517 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F(-2) F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

542 542 0 3326 0 0 0 0 -1

N.S.

1 1.00 0.00 6.14 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.928 32.981 4.667 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

840 840 1270 2016 0 0 0 0 -1

N.S.

1 1.00 1.51 2.40 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.124 1.073 15.943 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

786 786 1226 1879 0 0 0 0 -1

N.S.

1 1.00 1.56 2.39 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.014 1.160 46.976 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

786 786 1216 1879 0 0 0 0 -1

N.S.

1 1.00 1.55 2.39 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.886 1.272 51.618 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

844 844 1305 1952 0 0 0 0 -1

N.S.

1 1.00 1.55 2.31 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.995 0.885 17.991 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

778 778 2000 1804 0 0 0 0 -1

N.S.

1 1.00 2.57 2.32 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.205 7.157 5.816 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 486 3348 0 3769 0 0 -1

N.S.

1 1.00 2.81 19.35 0.00 21.79 0.00 0.00 -0.01

time (sec)

N/A 0.136 1.582 4.600 0.000 0.711 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 486 3305 0 3218 0 0 -1

N.S.

1 1.00 2.24 15.23 0.00 14.83 0.00 0.00 -0.00

time (sec)

N/A 0.216 0.746 4.543 0.000 0.560 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F C F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

741 741 0 5713 0 0 0 0 -1

N.S.

1 1.00 0.00 7.71 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.085 56.145 2.167 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-1) F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1272 1272 2022 3468 0 0 0 0 -1

N.S.

1 1.00 1.59 2.73 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.499 6.081 160.544 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-1) F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1276 1276 2030 2550 0 0 0 0 -1

N.S.

1 1.00 1.59 2.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.619 6.054 172.572 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F(-1) F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1272 1272 2015 3461 0 0 0 0 -1

N.S.

1 1.00 1.58 2.72 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 3.348 6.038 163.691 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

447 447 340 0 0 2105 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 4.71 0.00 0.00 -0.00

time (sec)

N/A 0.933 41.977 0.803 0.000 2.411 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

329 329 365 0 0 1476 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 4.49 0.00 0.00 -0.00

time (sec)

N/A 0.289 21.148 0.748 0.000 0.933 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 307 0 0 1060 0 0 -1

N.S.

1 1.00 1.39 0.00 0.00 4.80 0.00 0.00 -0.00

time (sec)

N/A 0.222 20.858 0.475 0.000 0.668 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.064 3.808 0.394 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.069 3.958 0.243 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.066 9.576 0.686 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.025 2.720 0.360 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.061 1.261 0.309 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

312 312 576 0 0 0 0 0 -1

N.S.

1 1.00 1.85 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.265 22.109 0.382 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

446 446 641 0 0 0 0 0 -1

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.380 24.177 0.432 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

418 418 313 0 0 2076 0 0 -1

N.S.

1 1.00 0.75 0.00 0.00 4.97 0.00 0.00 -0.00

time (sec)

N/A 0.361 41.763 0.777 0.000 1.594 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

297 297 342 0 0 1441 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 4.85 0.00 0.00 -0.00

time (sec)

N/A 0.288 21.022 0.753 0.000 0.922 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.081 4.617 0.376 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.080 3.903 0.221 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.077 9.794 0.651 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.029 3.453 0.359 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.069 5.754 0.310 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.070 9.840 0.364 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

409 409 620 0 0 0 0 0 -1

N.S.

1 1.00 1.52 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.345 24.059 0.425 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

556 556 728 0 0 0 0 0 -1

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.504 24.965 0.417 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

356 356 366 0 0 1509 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 4.24 0.00 0.00 -0.00

time (sec)

N/A 0.772 21.054 1.365 0.000 1.191 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 406 0 0 1092 0 0 -1

N.S.

1 1.00 1.62 0.00 0.00 4.35 0.00 0.00 -0.00

time (sec)

N/A 0.221 20.861 1.303 0.000 0.620 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 239 0 0 834 0 0 -1

N.S.

1 1.00 1.56 0.00 0.00 5.45 0.00 0.00 -0.01

time (sec)

N/A 0.191 19.382 0.556 0.000 0.459 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.064 2.212 0.405 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.075 16.158 0.259 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.061 6.004 1.100 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.022 0.687 0.639 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 501 0 0 0 0 0 -1

N.S.

1 1.00 2.27 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.147 22.416 0.400 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

346 346 612 0 0 0 0 0 -1

N.S.

1 1.00 1.77 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.279 22.608 0.475 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

278 278 436 0 0 1665 0 0 -1

N.S.

1 1.00 1.57 0.00 0.00 5.99 0.00 0.00 -0.00

time (sec)

N/A 0.746 20.960 1.378 0.000 0.800 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 249 0 0 1095 0 0 -1

N.S.

1 1.00 1.41 0.00 0.00 6.19 0.00 0.00 -0.01

time (sec)

N/A 0.182 21.062 1.293 0.000 0.491 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 135 0 0 575 0 0 -1

N.S.

1 1.00 1.55 0.00 0.00 6.61 0.00 0.00 -0.01

time (sec)

N/A 0.158 20.415 0.496 0.000 0.566 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.075 21.533 0.361 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.084 29.713 0.289 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.072 7.344 1.191 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.067 2.806 1.083 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 334 0 0 143 0 0 -1

N.S.

1 1.00 3.63 0.00 0.00 1.55 0.00 0.00 -0.01

time (sec)

N/A 0.052 46.616 0.704 0.000 0.137 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

249 249 501 0 0 0 0 0 -1

N.S.

1 1.00 2.01 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.192 22.402 0.395 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

272 272 348 0 0 2999 0 0 -1

N.S.

1 1.00 1.28 0.00 0.00 11.03 0.00 0.00 -0.00

time (sec)

N/A 0.839 21.224 1.381 0.000 0.876 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 218 0 0 1834 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 10.25 0.00 0.00 -0.01

time (sec)

N/A 0.176 10.156 1.240 0.000 0.642 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 204 0 0 1456 0 0 -1

N.S.

1 1.00 1.32 0.00 0.00 9.45 0.00 0.00 -0.01

time (sec)

N/A 0.190 0.197 0.486 0.000 0.584 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.084 34.539 0.391 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.095 45.933 0.282 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.079 10.990 1.368 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.072 10.210 1.213 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 488 0 0 0 0 0 -1

N.S.

1 1.00 1.98 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.167 1.786 1.120 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 517 0 0 0 0 0 -1

N.S.

1 1.00 1.94 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.150 22.949 0.654 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

596 576 0 0 0 0 0 0 -1

N.S.

1 0.97 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.569 0.098 1.365 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

372 352 0 0 0 0 0 0 -1

N.S.

1 0.95 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.311 0.080 1.006 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

206 192 0 0 0 0 0 0 -1

N.S.

1 0.93 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.129 0.066 0.697 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.052 1.576 1.201 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

26 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.052 5.167 1.888 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

28 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.075 0.651 0.914 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

28 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.067 0.071 0.913 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

28 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.071 0.854 1.249 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

28 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.074 1.114 1.342 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

473 473 213 0 0 393 0 0 -1

N.S.

1 1.00 0.45 0.00 0.00 0.83 0.00 0.00 -0.00

time (sec)

N/A 1.095 0.275 2.136 0.000 0.461 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

316 316 178 0 0 336 0 0 -1

N.S.

1 1.00 0.56 0.00 0.00 1.06 0.00 0.00 -0.00

time (sec)

N/A 0.933 0.226 1.980 0.000 0.395 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 140 0 0 279 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 1.75 0.00 0.00 -0.01

time (sec)

N/A 0.110 0.224 0.780 0.000 0.396 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.060 0.274 1.047 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.068 2.359 0.781 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]